batch proof
英 [bætʃ pruːf]
美 [bætʃ pruːf]
分批核对
双语例句
- The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets.
验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。
美 [bætʃ pruːf]
分批核对